(declare-fun a (Real) Bool)
(declare-fun b (Real) Bool)
(assert (= a b))
(assert (b 0))
(declare-fun a (Real) Bool)
(declare-fun b (Real) Bool)
(assert (= a b))
(assert (b 0))
(check-sat)
